Discussion utilisateur:Liviusbarbatus/Archive 1

Cette page, précédemment en wikicode, a été convertie en discussions structurées. Merci de ne pas laisser de message sur cette page, mais ici.

Mieux comprendre Wikipédia

Devenir rédacteur

Vos pages

Rejoindre la communauté

Bienvenue sur Wikipédia, Liviusbarbatus !

Bonjour, je vous accueille en tant que wikipédien bénévole.

Wikipédia est une formidable aventure collective, toujours en construction. La version francophone comporte aujourd'hui 2 608 091 articles, rédigés et maintenus par des bénévoles comme vous et moi. Vous allez y effectuer vos premiers pas : si vous avez besoin de conseils ou d'aide pour cela, n'hésitez pas à laisser un message sur le forum des nouveaux. Une réponse vous sera apportée avec plaisir !

Wikipédia repose sur des principes fondateurs respectés par tous :

Encyclopédisme et vérifiabilité (s'appuyer sur des sources reconnues) ;
Neutralité de point de vue (pas de promotion) ;
Licence libre et respect des droits d'auteurs (ni copie, ni plagiat) ;
Savoir-vivre (politesse et consensus) ;
N'hésitez pas à modifier (l'historique conserve tout).

Vous êtes invité à découvrir tout cela plus en détail en consultant les liens ci-contre →

Un livret d'aide à télécharger, reprenant l’essentiel à savoir, est également à votre disposition.

Je vous souhaite de prendre plaisir à lire ou à contribuer à Wikipédia.

À bientôt !

P.-S. Vos nouveaux messages seront affichés en bas de cette page et signés par leur expéditeur. Pour lui répondre, cliquez sur sa signature (aide).

Bienvenue sur Wikipédia, Liviusbarbatus ![modifier le code]

Bonjour, je vous accueille en tant que wikipédien bénévole.

Wikipédia est une formidable aventure collective, toujours en construction. La version francophone comporte aujourd'hui 2 157 208 articles, rédigés et maintenus par des bénévoles comme vous et moi. Vous allez y effectuer vos premiers pas : si vous avez besoin de conseils ou d'aide pour cela, n'hésitez pas à laisser un message sur le forum des nouveaux. Une réponse vous sera apportée avec plaisir !

Wikipédia repose sur des principes fondateurs respectés par tous :

Encyclopédisme et vérifiabilité (s'appuyer sur des sources reconnues) ;
Neutralité de point de vue (pas de promotion) ;
Licence libre et respect des droits d'auteurs (ni copie, ni plagiat) ;
Savoir-vivre (politesse et consensus) ;
N'hésitez pas à modifier (l'historique conserve tout).

Vous êtes invité à découvrir tout cela plus en détail en consultant les liens ci-contre →

Un livret d'aide à télécharger, reprenant l’essentiel à savoir, est également à votre disposition.

Je vous souhaite de prendre plaisir à lire ou à contribuer à Wikipédia.

À bientôt !

P.-S. Vos nouveaux messages seront affichés en bas de cette page et signés par leur expéditeur. Pour lui répondre, cliquez sur sa signature (aide).

Anne 22/1/15

= 2nd théorème d'incomplétude[modifier le code]

Je poursuis ici (vous pouvez répondre sur cette page, je serai au courant).

Il n'existe pas de preuve vraiment simple de D2, qui a la particularité de paraître évidente intuitivement, puisqu'on considère que les preuves se formalisent dans l'arithmétique , mais très pénible à démontrer réellement. Smorynski donne une idée assez précise (dans le Handbook), Girard détaille vraiment une partie de la preuve (f. biblio), avec un choix de notations pas très agréable, mais ça permet de comprendre pourquoi c'est pénible, la preuve du Cori-Lascar est sémantique (elle utilse la conséquence sémantique plutôt que la prouvabilité définie par un système de preuves) ce qui simplifie certaines choses, mais dans ce style la preuve du th. d'incomplétude en théorie des ensembles de Krivine (cf. biblio) est vraiment plus lisible (mais en théorie des ensembles). Proz (discuter) 2 février 2015 à 23:24 (CET)[répondre]

[]A se lit A est prouvable[modifier le code]

Bonsoir, je vais rajouter une référence pour cela dans l'article "Logique intuitionniste" (bientôt). Bonne soirée ǃ--Fschwarzentruber (discuter) 15 avril 2016 à 19:35 (CEST)[répondre]

Dans la Stanford Encyclopedia of Philosophy, il y a écrit ː "he also considers a second system, classical propositional logic enriched by an operator “B”, where the intended meaning of “B” is “provable.” The axiom system now known as S4".

Donc la phrase que vous avez supprimée ( La construction  $\Box A$  se lit " $A$  est prouvable"^{[réf. nécessaire]}) est bien correcte. Merci de l'avoir supprimé car ça m'a permis de réagir et ajouter une source rapidement. Il serait bien d'avoir une autre source même si la Stanford Encyclopedia of Philosophy est assez fiable. Bonne soirée à vous.

--Fschwarzentruber (discuter) 15 avril 2016 à 21:06 (CEST)[répondre]

La lecture de B A, comme A est prouvable, où B est le début de Beweisbar (prouvable en allemand) vient de la logique de Löb (voir Théorème de Löb) qui est la logique S4 plus l'axiome GL. Mais je ne vois pas le rapport avec la logique intuitionniste. -- Liviusbarbatus

Signature manquante sur Discussion:Permutation[modifier le code]

Bonjour Liviusbarbatus,

Je suis un robot qui aide les utilisateurs à ne pas oublier de signer leurs messages.

J'ai constaté que votre signature était manquante ou mal insérée sur la page Discussion:Permutation^(diff) et l'ai rajoutée à votre place. (signaler une erreur)

À l'avenir, pensez à signer vos messages en cliquant sur l'icône au-dessus de votre fenêtre d'édition, ce qui rajoutera les quatre tildes de signature (~~~~). [+ d'infos]

Je vous souhaite de bonnes contributions sur Wikipédia !

Signature manquante (bot) (discuter) 17 septembre 2017 à 09:42 (CEST)[répondre]